To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·2d
🧠Computational Logic
A distributed systems reliability glossary
antithesis.com·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Kiro and the future of AI spec-driven software development
kiro.dev·2h·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·4h·
Discuss: DEV
📝Concrete Syntax
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
The Fundamental Failure-Mode Theorem: Systems lie about their proper functioning
devblogs.microsoft.com·3h
💾Persistence Strategies
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
Inheritance over composition, sometimes
death.andgravity.com·1d
🦀Rust Macros
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·19h·
Discuss: Hacker News
🎯Interactive Provers
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
A Rust shaped hole
ente.io·2d
🦀Rust Macros
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Historical highlights?
logicmatters.net·1d
🔀Category Theory
Why Hoon?
docs.urbit.org·2d·
Discuss: Hacker News
🐚Bash Monads
Alignment
languagelog.ldc.upenn.edu·21h
🔄Language Evolution
JavaScript Microtasks: A Comprehensive Guide the Event Loop
codedynasty.dev·2h·
Discuss: Hacker News
🌊Stream Processing
What people said about an OpenZFS bug
despairlabs.com·1h·
Discuss: Lobsters, Hacker News
🔒Type Safety
Asymmetry of Verification and Verifier's Law
jasonwei.net·15h·
Discuss: Hacker News
🔮Proof Search